Pointer analysis - PDFSEARCH.IO - Document Search Engine

Pointer analysis
Results: 174

#	Item
61	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group Marco Pistoia Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-02 06:19:16 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory
62	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing
63	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: saturn.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering
64	Context- and Path-sensitive Memory Leak Detection Yichen Xie ∗ Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:35:01 Memory management Data types Static program analysis Software bugs Pointer Memory leak Delete C Shape analysis Computing Software engineering Computer programming
65	The Art of Defiling Defeating Forensic Analysis on Unix File Systems the grugq Overview Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:21 Data management Inode Unix File System File system Data file Inode pointer structure Ext2 Disk file systems System software Computing
66	AProVE: Termination and Memory Safety of C Programs? (Competition Contribution) T. Str¨ oder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:54 Data types Primitive types Termination analysis Pointer Memory safety Prolog Reference LLVM Algorithm Computing Software engineering Computer programming
67	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Mads Chr. Olesen1 , Ren´e Rydhof Hansen1 , Julia L. Lawall2 , Nicolas Palix2 1 rrh,, http://www.cs Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:19 Data types Primitive types C programming language Coccinelle Code refactoring Software bugs Pointer C OCaml Software engineering Computing Computer programming
68	Semantic analysis for arrays, structures and pointers Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:40:16 Procedural programming languages Data types C++ Pointer Static program analysis C ALGOL 68 Fortran Array data type Computing Software engineering Computer programming
69	Identification of Logically Related Heap Regions Mark Marron1 Deepak Kapur2 Manuel Hermenegildo1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-07-29 18:36:45 Programming language theory Garbage collection Voronoi diagram Pointer analysis Analysis Region-based memory management Heap C dynamic memory allocation D-ary heap Memory management Computing Software engineering
70	DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Dataflow Symbolic execution Algorithm Information flow Dependence analysis Pointer Information Taint checking Computing Software engineering Parallel computing

UPDATE